$e$ $\in_{b}$ $X$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$can{-}apply($X$;$e$)